A full continuous model of polymorphism
نویسندگان
چکیده
منابع مشابه
A full continuous model of polymorphism
We introduce a model of the second-order lambda calculus. Such a model is a Scott domain whose elements are themselves Scott domains, and in it polymorphic maps are interpreted by generic continous maps.
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
A multiobjective continuous covering location model
This paper presents a multiobjective continuous covering location problem in fuzzy environment. Because of uncertain covering radius, possibility of covering concept is introduced.Since, the uncertainty may cause risk of uncovering customers; the problemis formulated as a risk management model. The presented model is an extension of the discrete covering location models tocontinuous space. Two ...
متن کاملa tripartite model of efl teachers attributions, burnout, and self-regulation: towards the prospects of effective teaching
همطالعه حاضر به ارائه مدلی برای آموزش موثر زبان انگلیسی می پردازد. مدل حاضر از سه عامل تاثیر گذار در کارایی تدریس معلمان زبان انگلیسی بهره می برد. این سه عامل شامل سبکهای اسنادی، خود تنطیمی و فرسودگی شغلی معلمان ایرانی زبان انگلیسی می باشد. رساله مورد نظر درچهار فاز طراحی شده است: فاز اول شامل طراحی و رواسازی پرسشنامه سبکهای اسنادی معلمان زبان انگلیسی و فاز دوم شامل استفاده از این پرسشنا...
a study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00379-6